reductive group(约化群/可约化群):在代数群与表示论中常用的术语,通常指一种“没有非平凡幂零正规部分”的线性代数群;直观地说,它的表示理论比较“干净”,许多表示可以分解成不可约表示的直和。最常见的情形是指连通约化代数群(如 \(GL_n\)、\(SL_n\)、\(SO_n\)、\(Sp_{2n}\) 等)。
(不同教材对“reductive”的技术性定义略有差异,但核心思想相近。)
/rɪˈdʌktɪv ɡruːp/
A reductive group has well-behaved representation theory.
约化群的表示论通常比较“规整”、性质良好。
Over an algebraically closed field, many classification results reduce to studying a connected reductive group and its root data.
在代数闭域上,许多分类问题可以化归为研究一个连通约化群及其根数据。
reductive 来自拉丁语 reducere(“引回、化归”),经法语进入英语,含义与“把问题化归到更基本结构”相关;在数学里,“reductive”逐渐固定为一个专门术语,用来刻画一类结构上“可分解/无幂零干扰”的群。group 来自意大利语 gruppo(“群、组”),在数学中指满足封闭性、结合律、单位元与逆元的代数结构。